#ifndef UART_H
#define UART_H
#define UART0 0x10000000L
#define UART_TXDATA 0x00
// Line Status Register
#define UART_LSR 0x05
// Transmitter Holding Register Empty
#define UART_LSR_EMPTY_MASK 0x20
void uart_putchar(char c);
#endif